class TEST
inherit BOOLEAN 
convert
       test : { BOOLEAN }
feature { NONE }
       test () : BOOLEAN
       do
        Result:=TRUE
       end
end

class CommonTest
inherit
        BOOLEAN

end

class InaccessibleTest
convert
    test : {BOOLEAN}
feature {NONE}
    test() : BOOLEAN
    do
      Result:=TRUE
    end
end

class APP
feature 

    INIT
    local 
        a: TEST
        b: INTEGER
        c : COMMONTEST
        d : InaccessibleTest
    do
        from  
            a:=a
        until
            a 
        loop
        end
        
        from  
            a:=a 
        until
            b 
        loop
        end
        
        from  
            a:=a 
        until
            C 
        loop
        end

        from  
            a:=a 
        until
            d 
        loop
        end
        
    end

end